Transformation of fractions into simple fractions in divisive meadows

نویسندگان

  • Jan A. Bergstra
  • Kees Middelburg
چکیده

Meadows are alternatives for fields with a purely equational axiomatization. At the basis of meadows lies the decision to make the multiplicative inverse operation total by imposing that the multiplicative inverse of zero is zero. Divisive meadows are meadows with the multiplicative inverse operation replaced by a division operation. Viewing a fraction as a term over the signature of divisive meadows that is of the form p / q, we investigate which divisive meadows admit transformation of fractions into simple fractions, i.e. fractions without proper subterms

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Universality of Univariate Mixed Fractions in Divisive Meadows

Univariate fractions can be transformed to mixed fractions in the equational theory of meadows of characteristic zero.

متن کامل

Inversive meadows and divisive meadows

An inversive meadow is a commutative ring with identity and a total multiplicative inverse operation satisfying 0 = 0. Previously, inversive meadows were shortly called meadows. In this paper, we introduce divisive meadows, which are inversive meadows with the multiplicative inverse operation replaced by a division operation. We introduce a translation from the terms over the signature of divis...

متن کامل

Arithmetical meadows

An inversive meadow is a commutative ring with identity equipped with a total multiplicative inverse operation satisfying 0 −1 = 0. Previously, inversive meadows were shortly called meadows. A divisive meadow is an inversive meadows with the multiplicative inverse operation replaced by a division operation. In the spirit of Peacock's arithmetical algebra, we introduce variants of inversive and ...

متن کامل

Purification and Fractionation of Carbon Dots using pH-controlled Cloud Point Extraction Technique

In this work, we describe a simple, green and general procedure for the purification and fractionation of carbon dots (CDs). CDs coated with oxygen-containing functional groups were synthesized by thermal pyrolysis of citric acid. The product of the reaction was first Purified and then fractionated into two distinct kinds of CDs (f4 and f1) using pH-controlled cloud point extraction (CPE) techn...

متن کامل

MICROSOME-MEDIATED BENZO[A]PYRENE-DNA BINDING AND INHIBITION BY CYTOSOLIC FRACTIONS FROM LIVER AND SKIN OF ADULT AND WEANLING RATS

Biotransformation of benzo[a]pyrene (BaP) in the presence of microsomal fractions derived from liver and epiderm of adult and weanling rats was examined. The aim of this study was to evaluate the effect of age on the capacity of two organs in transformation of BaP. Subcellular fractions were prepared from skin and liver by ultracentrifugation and were used as the source of BaP metabolizing enzy...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • J. Applied Logic

دوره 16  شماره 

صفحات  -

تاریخ انتشار 2016